Axiom schema - PDFSEARCH.IO - Document Search Engine

Axiom schema
Results: 76

#	Item
61	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: anorien.csc.warwick.ac.uk Language: English - Date: 2013-09-23 20:02:00 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
62	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ctan.math.washington.edu Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
63	Axiomatic Set Theory: Problem sheet[removed]Prove that ∀α, β ∈ On, (i) Vα ∩ On = α, and (ii) if α ∈ Vβ , then Vα ∈ Vβ . 2. Complete the proof of L´evy’s Reflection Principle. 3. A club is, by definiti Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2009-02-02 11:27:23 Set theory Ordinal number Axiom schema of replacement Reflection principle Forcing Model theory Mathematical logic Mathematics Constructible universe
64	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
65	The Bulletin of Symbolic Logic Volume 13, Number 3, Sept[removed]RELATING FIRST-ORDER SET THEORIES AND ELEMENTARY TOPOSES Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Model theory Z notation Predicate logic Sheaf theory Topos Axiom schema of replacement Constructive set theory First-order logic Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics
66	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
67	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic
68	Universes in Toposes Thomas STREICHER Fachbereich 4 Mathematik, TU Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-03-25 13:03:23 Axioms of set theory Z notation Sheaf theory Topos Axiom schema of replacement Zermelo–Fraenkel set theory Grothendieck universe Universe Sheaf Mathematical logic Mathematics Set theory
69	Large cardinals and elementary embeddings of V Master thesis of: Add to Reading List Source URL: mpla.math.uoa.gr Language: English - Date: 2012-09-16 17:35:37 Large cardinals Axioms of set theory Determinacy Z notation Constructible universe Absoluteness Reflection principle Axiom schema of replacement Inaccessible cardinal Mathematical logic Set theory Mathematics
70	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings

UPDATE